Solitary-wave solutions of the Degasperis-Procesi equation by means of the homotopy analysis method

The homotopy analysis method is applied to the Degasperis-Procesi equation in order to find analytic approximations to the known exact solitary-wave solutions for the solitary peakon wave and the family of solitary smooth-hump waves. It is demonstrated that the approximate solutions agree well with the exact solutions. This provides further evidence that the homotopy analysis method is a powerful tool for finding excellent approximations to nonlinear solitary waves

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper is a survey of the work underlying ZAP, and discusses previous attempts to improve the performance of the Davis-Putnam-Logemann-Loveland algorithm by exploiting the structure of the problem being solved. We examine existing ideas including extensions of the Boolean language to allow cardinality constraints, pseudo-Boolean representations, symmetry, and a limited form of quantification. While this paper is intended as a survey, our research results are contained in the two subsequent articles, with the theoretical structure of ZAP described in the second paper in this series, and ZAP's implementation described in the third

Generalizing Boolean Satisfiability II: Theory

This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper presents the theoretical basis for the ideas underlying ZAP, arguing that existing ideas in this area exploit a single, recurring structure in that multiple database axioms can be obtained by operating on a single axiom using a subgroup of the group of permutations on the literals in the problem. We argue that the group structure precisely captures the general structure at which earlier approaches hinted, and give numerous examples of its use. We go on to extend the Davis-Putnam-Logemann-Loveland inference procedure to this broader setting, and show that earlier computational improvements are either subsumed or left intact by the new method. The third paper in this series discusses ZAPs implementation and presents experimental performance results

Genetic variability, stability and heritability for quality and yield characteristics in provitamin A cassava varieties

Open Access Article; Published online: 25 Jan 2020Cassava is widely consumed in many areas of Africa, including Ghana, and is a major part of most household diets. These areas are characterized by rampant malnutrition, because the tuberous roots are low in nutritional value. Provitamin A biofortified cassava varieties have been developed by the International Institute for Tropical Agriculture, but adoption of these varieties in Ghana will largely depend on their agronomic performance, including fresh root yield, dry matter content, resistance to major pests and diseases, mealiness, starch content and the stability of these traits. Eight provitamin A varieties with two white checks were planted in three environments for two seasons to determine stability and variability among the varieties for important traits. There were significant variations in performance between varieties and between environments for cassava mosaic disease, root number, fresh root yield and starch content. High broad-sense heritability and genetic advance were observed in all traits, except for storage root number, and could be exploited through improvement programs. This study identified the best performing enhanced provitamin A varieties for traits that are key drivers of variety adoption in Ghana. In view of this, some varieties can be recommended for varietal release after on-farm testing. The study also showed the possibility of tapping heterosis after careful selection of parents

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances

Test Facility and Preliminary Performance of a 100 kW Class MPD Thruster

A 260 kW magnetoplasmadynamic (MPD) thruster test facility was assembled and used to characterize thrusters at power levels up to 130 kW using argon and helium propellants. Sensitivities of discharge characteristics to arc current, mass flow rate, and applied magnetic field were investigated. A thermal efficiency correlation developed by others for low power MPD thrusters defined parametric guidelines to minimize electrode losses in MPD thrusters. Argon and helium results suggest that a parameter defined as the product of arc voltage and the square root of the mass flow rate must exceed 0.7 V/kg(sup 1/2)/sec(sup 1/2) in order to obtain thermal efficiencies in excess of 60 percent

The European Space Agency standard for space packet utilisation

This paper presents the ESA concept for the use of CCSDS defined Telemetry and Telecommand Packets at the application level. These Packets are used to monitor and control remotely a space born application. This concept is defined in a Packet Utilisation Standard (PUS) which should become applicable for all ESA missions using Packets. The production of this standard is under the responsibility of an ESA standardization group called 'COES'

A photoelectron imaging and quantum chemistry study of the deprotonated indole anion

Indole is an important molecular motif in many biological molecules and exists in its deprotonated anionic form in the cyan fluorescent protein, an analogue of green fluorescent protein. However, the electronic structure of the deprotonated indole anion has been relatively unexplored. Here, we use a combination of anion photoelectron velocity-map imaging measurements and quantum chemistry calculations to probe the electronic structure of the deprotonated indole anion. We report vertical detachment energies (VDEs) of 2.45 ± 0.05 eV and 3.20 ± 0.05 eV, respectively. The value for D₀ is in agreement with recent high-resolution measurements whereas the value for D₁ is a new measurement. We find that the first electronically excited singlet state of the anion, S₁(ππ*), lies above the VDE and has shape resonance character with respect to the D₀ detachment continuum and Feshbach resonance character with respect to the D₁ continuum